COMMENT ⊗   VALID 00003 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	.require "ltr" source_file
 00006 00003	.begin "refs"
 00011 ENDMK
⊗;
.require "ltr" source_file;
.font A "ngr20"

.ltr("Director, Advanced Research Projects Agency",29 October 1974)
Department of Defense
Washington, D. C.

.begin "barf"
.at "<" ⊂"%3"⊃; at ">" ⊂"%1"⊃;
.turn on "→\"
.tabs 4,42,46
<SUBJECT:>  Quarterly Management Report
→%AForm approved, Budget
→Bureau No. 22-RO293.%*

<ARPA Order Number:> 2494\<Contract Number:> DAHC15 73C 0435

<Program Code Number:> 3D30\<Principal Investigator:> Prof. John McCarthy
\\\415-497-4430

<Name of Contractor:>  Board of Trustees of\<Executive Officer:> Lester Earnest
\the Leland Stanford Junior University \\415-497-4202

<Effective Date of Contract:> 15 June 1973\<Short Title of Work:> Artificial Intelligence,
\\\Heuristic Programming, and
<Contract Expiration Date:> 30 June 1975\\Network Protocols Projects

<Amount of Contract:>  $3,000,000
.end "barf"

.macro lb(nam) ⊂ if lines<5 then next page; once select 3
nam

.⊃

Dear Sir:
.fac
Members of our staff have recently published papers on graph labeling [1],
network protocols [2], speech recognition [3, 4, 6], automatic programming [5],
and machine translation [7].  Reports appeared on mathematical theory of
computation [8, 13], higher mental functions [9, 15], and automatic programming [10, 12].
Winograd published a series of lectures on artificial intelligence [16].

.lb Research Program and Plan

No changes.

.lb Major Accomplishments

Two Ph.D. dissertations were recently completed: Hannah's on computer stereo
vision [12] and Low's on automatic selection of data structures [14].

.lb Problems Encountered

Nothing new.

.lb Fiscal Status

.begin turn on "→"
Amount currently funded:→$2,248,000

Estimated expenditures and commitments (through 30 September 1974): →$1,910,692

Estimated funds required (through 30 June 1975): →$3,000,000

.end

.lb Action Required by the Government

None.

.lb Future Plans

No change.

.lde
.skip 2

.GROUP begin
.nofill turn on "\"
.tabs 5,40
cc:\addressee - 2 copies\J. McCarthy
\A. Blue, ARPA\V. Cerf
\C. Fields, ARPA\E. Feigenbaum
\P. Surra, ONR, Stanford\R. Floyd
\J. C. R. Licklider, ARPA\J. Jobe
.END APART
.begin "refs"
.if lines<15 then next page else skip;
.cb REFERENCES

.INDENT 0,3; NOJUST; TURN ON "%α";
.AT """" ⊂ (IF THISFONT=1 THEN "%3" ELSE "%1") ⊃
.AT "<" ⊂ "%2" ⊃;  AT ">" ⊂ "%1" ⊃;
.AT "AIM-" ⊂ "Stanford A. I. Memo AαIαMα-" ⊃;

.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT PAGE; NEXT EXREF; (EXREF&".  ") ⊃

⊗Brown, H., Masinter, L., Hjelmeland, L., "Constructive Graph
Labeling Using Double Cosets", <Discrete Mathematics>, 7, 1974.

⊗Cerf, V. G., "An Assessment of ARPANET Protocols", <Proc. Jerusalem
Conf. on Information Technology>, July 1974.

⊗Hieronymus, J. L., N. J. Miller, A. L. Samuel, "The Amanuensis Speech
Recognition System", <Proc. IEEE Symposium on Speech Recognition>, April 1974.

⊗Hieronymus, J. L., "Pitch Synchronous Acoustic Segmentation", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Luckham, David C., Jack R. Buchanan, "Automatic Generation of
Programs Containing Conditional Statements", <Proc. AISB Summer
Conference>, U. Sussex, July 1974.

⊗Miller, N. J., "Pitch Detection by Data Reduction", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Wilks, Yorick, "An Artificial Intelligence Approach to Machine
Translation", in Schank and Colby (eds.), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Luigia Aiello, Mario Aiello, Richard Weyhrauch,
"The Semantics of PASCAL in LCF",
AIM-221, October 1974.

⊗Kenneth Mark Colby, Roger C. Parkison, Bill Faught,
"Pattern-Matching Rules for the Recognition of Natural Language Dialogue
Expressions",
AIM-234, June 1974.

⊗Jack R. Buchanan and David C. Luckham,
"On Automating the Construction of Programs",
AIM-236, May 1974.

⊗Marsha Jo Hannah,
"Computer Matching of Areas in Stereo Images",
<Thesis:  Ph.D. in Computer Science>,
AIM-239, July 1974.

⊗C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert Elschlager,
Douglas B. Lenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg,
"Progress Report on Program-understanding Systems",
AIM-240, August 1974.

⊗Luigia Aiello, Richard W. Weyhrauch,
"LCFsmall:  an implementation of LCF",
AIM-241, August 1974.

⊗James R. Low,
"Automatic Coding:  Choice of Data Structures",
<Thesis:  Ph.D. in Computer Science>,
AIM-242, August 1974.

⊗Kenneth Mark Colby,
"Ten Criticisms of PARRY",
AIM-244, September 1974.

⊗Terry Winograd,
"Five Lectures on Artificial Intelligence",
AIM-246, September 1974.

.end "refs"